こうりけい

こうりけい【公理系】

数学の理論体系を構成するにあたって， その理論の基礎となっている公理の全体。 公理系を構成する公理には無矛盾性が要求される。 公理群。